Search results for " Compounds of conditionals"

showing 2 items of 2 documents

Connexive Logic, Probabilistic Default Reasoning, and Compound Conditionals

2023

We present two approaches to investigate the validity of connexive principles and related formulas and properties within coherence-based probability logic. Connexive logic emerged from the intuition that conditionals of the form if not-A, then A, should not hold, since the conditional’s antecedent not-A contradicts its consequent A. Our approaches cover this intuition by observing that the only coherent probability assessment on the conditional event A | not-A is p(A | not-A) = 0. In the first approach we investigate connexive principles within coherence-based probabilistic default reasoning, by interpreting defaults and negated defaults in terms of suitable probabilistic constraints on con…

Settore MAT/06 - Probabilita' E Statistica MatematicaCoherence Compounds of conditionals Conditional events Conditional random quantities Connexive principles Default reasoning Iterated conditionals Probability logic.Settore MAT/01 - Logica Matematica
researchProduct

Interpreting Connexive Principles in Coherence-Based Probability Logic

2021

We present probabilistic approaches to check the validity of selected connexive principles within the setting of coherence. Connexive logics emerged from the intuition that conditionals of the form If \(\mathord {\thicksim }A\), then A, should not hold, since the conditional’s antecedent \(\mathord {\thicksim }A\) contradicts its consequent A. Our approach covers this intuition by observing that for an event A the only coherent probability assessment on the conditional event \(A|\bar{A}\) is \(p(A|\bar{A})=0\). Moreover, connexive logics aim to capture the intuition that conditionals should express some “connection” between the antecedent and the consequent or, in terms of inferences, valid…

Settore MAT/06 - Probabilita' E Statistica MatematicaNegationAntecedent (logic)Computer sciencePremiseCalculusProbabilistic logicCoherence (philosophical gambling strategy)Connection (algebraic framework)Aristotle's These Coherence Compounds of conditionals Conditional events Conditional random quantities Connexive logic Iterated conditionals Probabilistic constraints.Connexive logicEvent (probability theory)
researchProduct